Besides, the thesis illustrates how to realize the state transition diagrams by the state tables. The state tables convert the state transition diagrams into computer language, like C++, so as to complete the control task. 提出用状态转换图描述控制任务的实现流程,并由状态表将状态转换图转化为计算机能够处理的程序设计语言(如C++),以此实现整个控制任务。
Then we also formulate the model of computing with values via lattice-valued finite state automata, as well as the state transition function of the model of computing with words via lattice-valued finite state automata and the language accepted by lattice-valued finite automata. 然后,给出了基于格值有限状态自动机的数值计算的形式模型。同时,建立了输入是词的格值有限状态自动机的转移函数以及格值有限状态自动机所接收的语言的定义。